w{-}action($w$; $i$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$Action(w{-}action{-}dec($w$.TA;$w$.M;$i$))